2261. Theory and engineering of dependable computer systems and networks :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Reliability ; Congresses. ;
2262. Theory and practice of model transformations
پدیدآورنده : Zhenjiang Hu, Juan de Lara (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2012eb
2263. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
2264. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
2265. Theory and practice of model transformations
پدیدآورنده : Richard F. Paige (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2009
2266. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
2267. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
رده :
QA76
.
76
.
T46
2015
E-Book
,
2268. Thermal process modeling :proceedings from the 5th International Conference on Thermal Process Modeling and Computer Simulation : June 16-18, 2014, Gaylord Palms Resort & Convention Center Orlando, FL USA
پدیدآورنده : edited by: B. Lynn Ferguson, Robert Goldstein, Scott MacKenzie, Rozalia Papp
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Heat engineering - Computer simulation
رده :
TN
752
.
T54I58
2014
2269. Third International Conference on Software Reuse: Advances in Software Reusability : proceedings, November 1-4, 1994, Rio de Janeiro, Brazil
پدیدآورنده : edited by William B. Frakes ; sponsored by IEEE Computer Society Technical Council on Software Engineering, Sociedade Brasileira de Computacao )SBC( ; in cooperation with Association for Computing Machinery
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Reusability - Congresses
رده :
QA
76
.
76
.
R47
I587
1994
2270. Thirteenth International Conference on Scientific and Statistical Database Management, Fairfax, Virginia, 18-20 July 2001
پدیدآورنده : edited by Larry Kerschberg and Menas Kafatos; sponsored by Center for Earth Observing and Space Research, Center for Information Systems Integration and Evolution, E-Center for E-Business, George Mason University; in cooperation with ACM SIGMOD, IEEE TC on Data Engineering, VLDB Endowment
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Database management,Databases -- Congresses ، Mathematical statistics,Databases -- Congresses ، Science
رده :
QA
76
.
9
.
D3
I583
2001
2271. Three-Dimensional Modeling with Geoscientific Information Systems
پدیدآورنده : edited by A. Keith Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geological modeling -- Congresses.,Information storage and retrieval systems -- Geology -- Congresses.,Information storage and retrieval systems -- Mines and mineral resources -- Congresses.
2272. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
2273. Top productivity through software reus
پدیدآورنده : Klaus Schmid (ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
2274. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده : Nigel P. Smart (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
2275. Towards a service-based Internet
پدیدآورنده : Witold Abramowicz ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
2276. Towards ubiquitous learning :
پدیدآورنده : Carlos Delgado Kloos [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Education-- Effect of technological innovations on, Congresses,Educational technology, Congresses,Web-based instruction, Congresses
رده :
LB1028
.
3
.
E955
2011
2277. Traffic and transportation studies
پدیدآورنده : edited by Baohua Mao ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Traffic flow, Congresses.,Transportation, Congresses.
2278. Transactions on Engineering Technologies
پدیدآورنده : \ [edited by] Gi-Chul Yang...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses.,Technology -- Congresses.,Technological innovations -- Congresses,مهندسی -- کنگرهها ,تکنولوژی -- کنگرهها ,نوآوری-- کنگرهها
رده :
TA
5
.
T7
2015
E-Book
,
2279. Transactions on Engineering Technologies
پدیدآورنده : \ Haeng Kon Kim , Mahyar A. Amouzegar, Sio-long Ao Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses.,Technology -- Congresses,Computer science -- Congresses.,مهندسی -- کنگرهها ,تکنولوژی -- کنگرهها ,علوم کامپیوتر -- کنگرهها
رده :
TA
5
.
T7
2015
E-Book
,
2280. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
